Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
2

Finite axioms of choice

Рік:
1973
Мова:
english
Файл:
PDF, 1.23 MB
english, 1973
3

Models of set theory containing many perfect sets

Рік:
1974
Мова:
english
Файл:
PDF, 1.43 MB
english, 1974
4

Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs

Рік:
2008
Мова:
english
Файл:
PDF, 299 KB
english, 2008
5

Classification of Finite Coloured Linear Orderings

Рік:
2011
Мова:
english
Файл:
PDF, 281 KB
english, 2011
6

On Homogeneous Semilattices and Their Automorphism Groups

Рік:
1999
Мова:
english
Файл:
PDF, 200 KB
english, 1999
7

The well-ordered and well-orderable subsets of a set

Рік:
1973
Мова:
english
Файл:
PDF, 184 KB
english, 1973
11

Countably categorical coloured linear orders

Рік:
2010
Мова:
english
Файл:
PDF, 107 KB
english, 2010
12

Construction of some countable 1-arc-transitive bipartite graphs

Рік:
2008
Мова:
english
Файл:
PDF, 773 KB
english, 2008
13

Descendant-homogeneous digraphs

Рік:
2011
Мова:
english
Файл:
PDF, 335 KB
english, 2011
14

Uncountable cofinalities of automorphism groups of linear and partial orders

Рік:
2009
Мова:
english
Файл:
PDF, 269 KB
english, 2009
15

Some constructions of highly arc-transitive digraphs

Рік:
2011
Мова:
english
Файл:
PDF, 361 KB
english, 2011
18

Classification of some countable descendant-homogeneous digraphs

Рік:
2012
Мова:
english
Файл:
PDF, 258 KB
english, 2012
21

On certain arbitrarily long sequences of cardinals

Рік:
1973
Мова:
english
Файл:
PDF, 117 KB
english, 1973
23

Some more notions of homomorphism–homogeneity

Рік:
2014
Мова:
english
Файл:
PDF, 466 KB
english, 2014
24

Crown-free highly arc-transitive digraphs

Рік:
2012
Мова:
english
Файл:
PDF, 254 KB
english, 2012
25

Homogeneous coloured multipartite graphs

Рік:
2014
Мова:
english
Файл:
PDF, 517 KB
english, 2014
26

Cycle-free partial orders and ends of graphs

Рік:
2009
Мова:
english
Файл:
PDF, 143 KB
english, 2009
27

Sets and Proofs || What Mathematical Truth Could Not Be – II

Рік:
1999
Мова:
english
Файл:
PDF, 2.52 MB
english, 1999
28

Reconstructing the Topology on Monoids and Polymorphism Clones of the Rationals

Рік:
2017
Мова:
english
Файл:
PDF, 607 KB
english, 2017
30

Models and Computability || Computability and Complexity Revisited

Рік:
1999
Мова:
english
Файл:
PDF, 1.15 MB
english, 1999
31

Sets and Proofs || The Realm of Orinal Analysis

Рік:
1999
Мова:
english
Файл:
PDF, 5.14 MB
english, 1999
32

Sets and Proofs || Polish Group Topologies

Рік:
1999
Мова:
english
Файл:
PDF, 2.59 MB
english, 1999
33

Sets and Proofs || Proof Search in Constructive Logics

Рік:
1999
Мова:
english
Файл:
PDF, 1.30 MB
english, 1999
34

Sets and Proofs || Minimality Arguments for Infinite Time Turing Degrees

Рік:
1999
Мова:
english
Файл:
PDF, 1.05 MB
english, 1999
35

Sets and Proofs || On the Complexity of the Propositional Calculus

Рік:
1999
Мова:
english
Файл:
PDF, 2.05 MB
english, 1999
36

Sets and Proofs || Games of Countable Length

Рік:
1999
Мова:
english
Файл:
PDF, 3.71 MB
english, 1999
37

Sets and Proofs || David's Trick

Рік:
1999
Мова:
english
Файл:
PDF, 374 KB
english, 1999
38

Sets and Proofs || Forcing Closed Unbounded Subsets of N w+1

Рік:
1999
Мова:
english
Файл:
PDF, 1.44 MB
english, 1999
39

Sets and Proofs || Covering Properties of Core Models

Рік:
1999
Мова:
english
Файл:
PDF, 1.37 MB
english, 1999
40

Sets and Proofs || An Introduction To Finitary Analyses Of Proof Figures

Рік:
1999
Мова:
english
Файл:
PDF, 1.78 MB
english, 1999
41

Sets and Proofs || What Makes A (Pointwise) Subrecursive Hierarchy Slow Growing?

Рік:
1999
Мова:
english
Файл:
PDF, 1.53 MB
english, 1999
42

Sets and Proofs || Ordinal Systems

Рік:
1999
Мова:
english
Файл:
PDF, 3.39 MB
english, 1999
43

Sets and Proofs || An Introduction to Core Model Theory

Рік:
1999
Мова:
english
Файл:
PDF, 5.27 MB
english, 1999
44

Sets and Proofs || An Iteration Model Violating the Singular Cardinals Hypothesis

Рік:
1999
Мова:
english
Файл:
PDF, 603 KB
english, 1999
45

Sets and Proofs || A Semantical Calculus for Intuitionistic Propositional Logic

Рік:
1999
Мова:
english
Файл:
PDF, 2.10 MB
english, 1999
46

Sets and Proofs || Preface

Рік:
1999
Мова:
english
Файл:
PDF, 258 KB
english, 1999
47

Sets and Proofs || First Steps into Metapredicativity in Explicit Mathematics

Рік:
1999
Мова:
english
Файл:
PDF, 1.63 MB
english, 1999
48

Sets and Proofs || Polish Group Topologies

Рік:
1999
Файл:
PDF, 2.59 MB
1999
49

Sets and Proofs || Proof Search in Constructive Logics

Рік:
1999
Файл:
PDF, 1.30 MB
1999
50

Sets and Proofs || Minimality Arguments for Infinite Time Turing Degrees

Рік:
1999
Файл:
PDF, 1.05 MB
1999